obj/kern/schedule/default_sched.o obj/kern/schedule/default_sched.d: \
 kern/schedule/default_sched.c kern/debug/assert.h libs/defs.h \
 kern/schedule/default_sched.h kern/schedule/sched.h libs/list.h \
 libs/skew_heap.h kern/process/proc.h kern/trap/trap.h \
 kern/mm/memlayout.h libs/atomic.h
